Veanes, Margus: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generating finite state machines from abstract state machines

Grieskamp, Wolfgang, Gurevich, Yuri, Schulte, Wolfram, Veanes, Margus

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 323 KB

english, 2002

2

Model-Based Software Testing and Analysis with C# || Compositional Modeling

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 378 KB

2007

3

Natural Cycletrees: Flexible Interconnection Graphs

Margus Veanes, Jonas Barklund

Journal:

Journal of Parallel and Distributed Computing

Year:

1996

Language:

english

File:

PDF, 500 KB

english, 1996

4

On the number of edges in cycletrees

Margus Veanes, Jonas Barklund

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 436 KB

english, 1996

5

Instrumenting scenarios in a model-driven development environment

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

Journal:

Information and Software Technology

Year:

2004

Language:

english

File:

PDF, 526 KB

english, 2004

6

Can abstract state machines be useful in language theory?

Yuri Gurevich, Margus Veanes, Charles Wallace

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

7

Farmer's Theorem revisited

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 94 KB

english, 2000

8

Construction of natural cycletrees

Margus Veanes, Jonas Barklund

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 488 KB

english, 1996

9

Decidability and complexity of simultaneous rigid E-unification with one variable and related results

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 137 KB

english, 2000

10

Logic with Equality: Partisan Corroboration and Shifted Pairing

Yuri Gurevich, Margus Veanes

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 376 KB

english, 1999

11

On the Undecidability of Second-Order Unification

Jordi Levy, Margus Veanes

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 312 KB

english, 2000

12

Alternating simulation and IOCO

Margus Veanes, Nikolaj Bjørner

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 643 KB

english, 2012

13

Composing model programs for analysis

Margus Veanes, Jonathan Jacky

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 397 KB

english, 2010

14

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Model Based Testing of an Embedded Session and Transport Protocol

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

15

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 ||

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 9.46 MB

english, 2007

16

[IEEE 28th IEEE International Real-Time Systems Symposium (RTSS 2007) - Tucson, AZ, USA (2007.12.3-2007.12.6)] 28th IEEE International Real-Time Systems Symposium (RTSS 2007) - Adapting Futures: Scalability for Real-World Computing

Helander, Johannes, Serg, Risto, Veanes, Margus, Roy, Pritam

Year:

2007

Language:

english

File:

PDF, 444 KB

english, 2007

17

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Implementing Conformiq Qtronic

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 446 KB

english, 2007

18

Symbolic tree automata

Veanes, Margus, Bjørner, Nikolaj

Journal:

Information Processing Letters

Year:

2015

Language:

english

File:

PDF, 322 KB

english, 2015

19

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Rex: Symbolic Regular Expression Explorer

Veanes, Margus, Halleux, Peli de, Tillmann, Nikolai

Year:

2010

Language:

english

File:

PDF, 320 KB

english, 2010

20

RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION

GANZINGER, HARALD, JACQUEMARD, FLORENT, VEANES, MARGUS

Journal:

International Journal of Foundations of Computer Science

Year:

2000

Language:

english

File:

PDF, 3.39 MB

english, 2000

21

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Symbolic finite state transducers

Veanes, Margus, Hooimeijer, Pieter, Livshits, Benjamin, Molnar, David, Bjorner, Nikolaj

Year:

2012

Language:

english

File:

PDF, 679 KB

english, 2012

22

Online testing with model programs

Veanes, Margus, Campbell, Colin, Schulte, Wolfram, Tillmann, Nikolai

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 153 KB

english, 2005

23

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Fast

D'Antoni, Loris, Veanes, Margus, Livshits, Benjamin, Molnar, David

Year:

2013

Language:

english

File:

PDF, 1.01 MB

english, 2013

24

Optimal strategies for testing nondeterministic systems

Nachmanson, Lev, Veanes, Margus, Schulte, Wolfram, Tillmann, Nikolai, Grieskamp, Wolfgang

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

25

[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Optimal strategies for testing nondeterministic systems

Nachmanson, Lev, Veanes, Margus, Schulte, Wolfram, Tillmann, Nikolai, Grieskamp, Wolfgang

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

26

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - Online testing with model programs

Veanes, Margus, Campbell, Colin, Schulte, Wolfram, Tillmann, Nikolai

Year:

2005

Language:

english

File:

PDF, 153 KB

english, 2005

27

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Minimization of symbolic automata

D'Antoni, Loris, Veanes, Margus

Year:

2014

Language:

english

File:

PDF, 716 KB

english, 2014

28

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Program Boosting

Cochran, Robert A., D'Antoni, Loris, Livshits, Benjamin, Molnar, David, Veanes, Margus

Year:

2015

Language:

english

File:

PDF, 4.69 MB

english, 2015

29

[ACM Press the international symposium - Roma, Italy (2002.07.22-2002.07.24)] Proceedings of the international symposium on Software testing and analysis - ISSTA '02 - Generating finite state machines from abstract state machines

Grieskamp, Wolfgang, Gurevich, Yuri, Schulte, Wolfram, Veanes, Margus

Year:

2002

Language:

english

File:

PDF, 323 KB

english, 2002

30

Program Boosting

Cochran, Robert A., D'Antoni, Loris, Livshits, Benjamin, Molnar, David, Veanes, Margus

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 4.69 MB

english, 2015

31

Extended symbolic finite automata and transducers

D’Antoni, Loris, Veanes, Margus

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 663 KB

english, 2015

32

Data-Parallel String-Manipulating Programs

Veanes, Margus, Mytkowicz, Todd, Molnar, David, Livshits, Benjamin

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

33

Symbolic finite state transducers

Veanes, Margus, Hooimeijer, Pieter, Livshits, Benjamin, Molnar, David, Bjorner, Nikolaj

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 679 KB

english, 2012

34

[IEEE 2016 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Symposium on Security and Privacy (SP) - Prepose: Privacy, Security, and Reliability for Gesture-Based Programming

Figueiredo, Lucas Silva, Livshits, Benjamin, Molnar, David, Veanes, Margus

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

35

Prepose: Privacy, Security, and Reliability for Gesture-Based Programming

Figueiredo, Lucas Silva, Molnar, David, Veanes, Margus, Livshits, Benjamin

Journal:

IEEE Security & Privacy Magazine

Year:

2017

Language:

english

File:

PDF, 730 KB

english, 2017

36

Monadic Decomposition

Veanes, Margus, Bjørner, Nikolaj, Nachmanson, Lev, Bereg, Sergey

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

37

Monadic second-order logic on finite sequences

D'Antoni, Loris, Veanes, Margus

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 946 KB

english, 2017

38

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Minimization of Symbolic Tree Automata

D'Antoni, Loris, Veanes, Margus

Year:

2016

Language:

english

File:

PDF, 409 KB

english, 2016

39

Model-Based Software Testing and Analysis with C# || Modeling Library Reference

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

Language:

english

File:

PDF, 372 KB

english, 2007

40

Model-Based Software Testing and Analysis with C# || Why We Need Model-Based Analysis

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

Language:

english

File:

PDF, 383 KB

english, 2007

41

Model-Based Software Testing and Analysis with C# || Modeling Systems with Structured State

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 366 KB

2007

42

Model-Based Software Testing and Analysis with C# || Analyzing Systems with Complex State

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 289 KB

2007

43

Model-Based Software Testing and Analysis with C# || Further Reading

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 257 KB

2007

44

Model-Based Software Testing and Analysis with C# || Further Reading

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 280 KB

2007

45

Model-Based Software Testing and Analysis with C# || Why We Need Model-Based Testing

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 340 KB

2007

46

Model-Based Software Testing and Analysis with C# || Reactive Systems

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 348 KB

2007

47

Model-Based Software Testing and Analysis with C# || Testing Systems with Complex State

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 391 KB

2007

48

Model-Based Software Testing and Analysis with C# || Structuring Model Programs with Features and Composition

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 389 KB

2007

49

Model-Based Software Testing and Analysis with C# || Bibliography

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 293 KB

2007

50

Model-Based Software Testing and Analysis with C# || Model Programs

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 574 KB

2007